Nuprl Definition : pi1
13,42
postcript
pdf
t
.1 == let
x
,
y
=
t
in
x
latex
Up
core
2
,
core
2
Wellformedness Lemmas
pi1
wf
,
pi1
wf
Definitions
let
x
,
y
=
A
in
B
(
x
;
y
)
FDL editor aliases
pi1
origin